Autori: Ognjanovic Zoran D
| Naslov | The Logic ILP for Intuitionistic Reasoning About Probability (Article; Early Access) |
| Autori | Ilic-Stepic Angelina V Ognjanovic Zoran D  Perovic Aleksandar M
|
| Info | STUDIA LOGICA, (2023), vol. br. , str. - |
| Projekat | Ministarstvo Prosvete, Nauke i Tehnoloscaron;kog Razvoja |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
     |
| Naslov | Reasoning about knowledge and conditional probability (Article) |
| Autori | Dautovic Sejla Doder Dragan J Ognjanovic Zoran D
|
| Info | INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, (2023), vol. 163 br. , str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa |
|
|
| Naslov | A probabilistic temporal epistemic logic: Decidability (Article; Early Access) |
| Autori | Ognjanovic Zoran D Ilic-Stepic Angelina V Perovic Aleksandar M
|
| Info | LOGIC JOURNAL OF THE IGPL, (2023), vol. br. , str. - |
| Projekat | Science Fund of the Republic of Serbia [Grant AI4TrustBC]: Advanced Artificial Intelligence Techniques for Analysis and Design of System Components Based on Trustworthy BlockChain Technology and by the Serbian Ministry of Education, Science and Technologic [451-03-9/2021-14/200029]; Science Fund of the Republic of Serbia; Serbian Ministry of Education, Science and Technological Development; [[AI4TrustBC]] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| Naslov | Probability Logics for Reasoning About Quantum Observations (Article; Early Access) |
| Autori | Ilic-Stepic Angelina V Ognjanovic Zoran D Perovic Aleksandar M
|
| Info | LOGICA UNIVERSALIS, (2023), vol. br. , str. - |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| Naslov | A Probabilistic Temporal Epistemic Logic: Strong Completeness (Article; Early Access) |
| Autori | Ognjanovic Zoran D Ilic-Stepic Angelina V Perovic Aleksandar M
|
| Info | LOGIC JOURNAL OF THE IGPL, (2022), vol. br. , str. - |
| Projekat | Science Fund of the Republic of Serbia, Grant AI4TrustBC: Advanced Artificial Intelligence Techniques for Analysis and Design of System Components Based on Trustworthy BlockChain Technology; Serbian Ministry of Education, Science and Technological Development [451-03-9/2021-14/200029] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Federating Digital Contact Tracing using Structured Overlay Networks (Article) |
| Autori | Ghilezan Silvia Kasterovic Simona Liquori Luigi Marinkovic Bojan B Ognjanovic Zoran D Stefanovic Tamara
|
| Info | COMPUTER SCIENCE AND INFORMATION SYSTEMS, (2022), vol. 19 br. 3, str. 1261-1282 |
| Projekat | Science Fund Republic of Serbia; [6526707 AI4TrustBC] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | A logic of interactive proofs (Article) |
| Autori | Lehnherr David Ognjanovic Zoran D Studer Thomas
|
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2022), vol. 32 br. 8, str. 1645-1658 |
| Projekat | Science Fund of the Republic of Serbia project AI4TrustBC; Swiss National Science Foundation [200020_184625] |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
| Naslov | Intuitionistic propositional probability logic (Article) |
| Autori | Ilic-Stepic Angelina V Knezevic Mateja Ognjanovic Zoran D
|
| Info | MATHEMATICAL LOGIC QUARTERLY, (2022), vol. 68 br. 4, str. 479-495 |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: |
|
|
| Naslov | Incomplete Information and Justifications (Proceedings Paper) |
| Autori | Doder Dragan J Ognjanovic Zoran D Savic Nenad Studer Thomas
|
| Info | LANGUAGE, LOGIC, AND COMPUTATION, (2022), vol. 13206 br. , str. 258-278 |
| Projekat | SNSF project [200021 165549]; Serbian Ministry of Education and Science through Mathematical Institute of Serbian Academy of Sciences and Arts |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science |
|
|
| Naslov | Logics for reasoning about degrees of confirmation (Article) |
| Autori | Dautovic Sejla Doder Dragan J Ognjanovic Zoran D
|
| Info | JOURNAL OF LOGIC AND COMPUTATION, (2021), vol. 31 br. 8, str. 2189-2217 |
| Projekat | Serbian Ministry of Education, Science and Technological Development through the Mathematical Institute of the Serbian Academy of Sciences and Arts |
| Ispravka | Web of Science Članak Elečas Rang časopisa Citati: Web of Science Scopus |
|
|
